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