Anne is not green. Anne is nice. Anne is smart. Bob is blue. Bob is furry. Charlie is blue. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. If someone is smart then they are blue. Furry people are rough.
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Fiona is smart.
True
1
proof
[(triple16)]
("Fiona" "is" "smart" "+")
triple16
Bob is not furry.
False
1
inv-proof
[(triple5)]
("Bob" "is" "furry" "-")
triple5
Anne is blue.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Charlie is blue.[(triple6 OR ((triple10) -> rule1))] Charlie is furry.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple7) -> rule2))] Charlie is smart.[(triple10)] Fiona is blue.[(triple11 OR ((triple16) -> rule1))] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15 OR ((triple12) -> rule2))] Fiona is smart.[(triple16)] @1: Anne is blue.[(((triple3) -> rule1))] Bob is rough.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
((triple10) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
((triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
((triple16) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
((triple12) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1