Charlie is not furry. Charlie is rough. Charlie is smart. Charlie is white. Fiona is kind. Fiona is not red. Fiona is not smart. If something is young and not white then it is rough. If Fiona is rough and Fiona is young then Fiona is not smart. If Fiona is not furry then Fiona is rough. If something is smart and not rough then it is red. All rough things are red. If something is rough and not smart then it is kind. If Fiona is smart and Fiona is rough then Fiona is red. If Fiona is white and Fiona is not kind then Fiona is not red.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
If something is young and not white then it is rough.
((("something" "is" "young" "+") ("something" "is" "white" "~")) -> ("something" "is" "rough" "+"))
If Fiona is rough and Fiona is young then Fiona is not smart.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "-"))
If Fiona is not furry then Fiona is rough.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "rough" "+"))
If something is smart and not rough then it is red.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "+"))
All rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is rough and not smart then it is kind.
((("something" "is" "rough" "+") ("something" "is" "smart" "~")) -> ("something" "is" "kind" "+"))
If Fiona is smart and Fiona is rough then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is white and Fiona is not kind then Fiona is not red.
((("Fiona" "is" "white" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "red" "-"))
Charlie is smart.
True
1
proof
[(triple3)]
("Charlie" "is" "smart" "+")
triple3
Charlie is not white.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "white" "-")
triple4
Charlie is red.
True
2
proof
[(((triple2) -> rule5))]
("Charlie" "is" "red" "+")
((triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "red" "-")
((triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is not furry.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Fiona is kind.[(triple5)] Fiona is not red.[(triple6)] Fiona is not smart.[(triple7)] @1: Charlie is red.[(((triple2) -> rule5))]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1