Charlie is big. Charlie is not furry. Charlie is green. Charlie is nice. Charlie is quiet. Fiona is big. Fiona is green. Fiona is quiet. Fiona is not rough. Gary is not big. Gary is furry. Gary is green. Gary is not nice. Gary is quiet. Gary is red. Gary is rough. All rough, nice things are green. All rough, nice things are not furry. All rough things are not nice. All red things are not nice. If Fiona is big and Fiona is not rough then Fiona is furry. If something is nice and not big then it is red. If Charlie is rough then Charlie is not furry. If something is big and not furry then it is quiet.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough, nice things are green.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All rough, nice things are not furry.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "-"))
All rough things are not nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
All red things are not nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
If Fiona is big and Fiona is not rough then Fiona is furry.
((("Fiona" "is" "big" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "furry" "+"))
If something is nice and not big then it is red.
((("something" "is" "nice" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
If Charlie is rough then Charlie is not furry.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "furry" "-"))
If something is big and not furry then it is quiet.
((("something" "is" "big" "+") ("something" "is" "furry" "~")) -> ("something" "is" "quiet" "+"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Charlie is not green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Fiona is furry.
True
3
proof
[(((triple6 triple9) -> rule5))]
("Fiona" "is" "furry" "+")
((triple6 triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple6 triple9) -> rule5))]
("Fiona" "is" "furry" "-")
((triple6 triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not furry.[(triple2)] Charlie is quiet.[(triple5 OR ((triple1 triple2) -> rule8))] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is not rough.[(triple9)] Fiona is quiet.[(triple8)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is not big.[(triple10)] Gary is not nice.[(triple13 OR ((triple15) -> rule4) OR ((triple16) -> rule3))] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is rough.[(triple16)] @1: Fiona is furry.[(((triple6 triple9) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
((triple1 triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is not big.
("Gary" "is" "big" "-")
triple10
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
((triple15) -> (rule4 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
((triple16) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6 triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1