Charlie is furry. Charlie is kind. Charlie is rough. Erin is furry. Erin is kind. Erin is round. Erin is white. Fiona is kind. Fiona is round. Fiona is white. Gary is cold. Gary is kind. Gary is not red. Gary is rough. Gary is round. Cold things are white. If something is round then it is white. Red things are round. If something is cold then it is kind. If Erin is not white then Erin is kind. If Fiona is not round then Fiona is white. If Charlie is rough then Charlie is white. If something is cold and not kind then it is rough.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If Erin is not white then Erin is kind.
((("Erin" "is" "white" "~")) -> ("Erin" "is" "kind" "+"))
If Fiona is not round then Fiona is white.
((("Fiona" "is" "round" "~")) -> ("Fiona" "is" "white" "+"))
If Charlie is rough then Charlie is white.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "white" "+"))
If something is cold and not kind then it is rough.
((("something" "is" "cold" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple4)]
("Erin" "is" "furry" "-")
triple4
Gary is white.
True
2
proof
[(((triple11) -> rule1) OR ((triple15) -> rule2))]
("Gary" "is" "white" "+")
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple15) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple15) -> rule2))]
("Gary" "is" "white" "-")
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple15) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "rough" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule2))] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10 OR ((triple9) -> rule2))] Gary is cold.[(triple11)] Gary is kind.[(triple12 OR ((triple11) -> rule4))] Gary is not red.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] @1: Charlie is white.[(((triple3) -> rule7))] Gary is white.[(((triple11) -> rule1) OR ((triple15) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple9) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Charlie is white.
("Charlie" "is" "white" "+")
((triple3) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple15) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1