Anne is furry. Anne is not rough. Anne is young. Bob is cold. Bob is rough. Bob is smart. Charlie is big. Charlie is not cold. Charlie is not furry. Charlie is smart. Charlie is young. Erin is cold. Erin is not furry. Erin is not nice. Erin is rough. Erin is young. If something is young and not rough then it is smart. If Bob is rough and Bob is not cold then Bob is not young. All furry things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is young and not rough then it is smart.
((("something" "is" "young" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "+"))
If Bob is rough and Bob is not cold then Bob is not young.
((("Bob" "is" "rough" "+") ("Bob" "is" "cold" "~")) -> ("Bob" "is" "young" "-"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Charlie is big.
True
1
proof
[(triple7)]
("Charlie" "is" "big" "+")
triple7
Charlie is not smart.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "smart" "-")
triple10
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is not cold.[(triple8)] Charlie is not furry.[(triple9)] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Erin is cold.[(triple12)] Erin is not furry.[(triple13)] Erin is not nice.[(triple14)] Erin is rough.[(triple15)] Erin is young.[(triple16)] @1: Anne is nice.[(((triple1) -> rule3))] Anne is smart.[(((triple3 triple2) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple8
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is not furry.
("Erin" "is" "furry" "-")
triple13
Erin is not nice.
("Erin" "is" "nice" "-")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1