Charlie is furry. Charlie is green. Charlie is round. Erin is cold. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is smart. Gary is white. Harry is blue. Harry is furry. Harry is green. Harry is round. Harry is smart. Round, green things are furry. If something is blue then it is green. Smart, round things are blue. Cold things are smart. If something is furry and blue then it is round. If Erin is furry then Erin is round.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Round, green things are furry.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Smart, round things are blue.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If something is furry and blue then it is round.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Erin is furry then Erin is round.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Harry is not smart.
False
1
inv-proof
[(triple15)]
("Harry" "is" "smart" "-")
triple15
Erin is smart.
True
2
proof
[(((triple4) -> rule4))]
("Erin" "is" "smart" "+")
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple4) -> rule4))]
("Erin" "is" "smart" "-")
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Erin is furry.
Unknown
rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Erin" "is" "furry" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is furry.[(triple1 OR ((triple3 triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is round.[(triple3)] Erin is cold.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((triple5) -> rule2))] Gary is smart.[(triple9 OR ((triple6) -> rule4))] Gary is white.[(triple10)] Harry is blue.[(triple11 OR ((triple15 triple14) -> rule3))] Harry is furry.[(triple12 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple11) -> rule2)) -> rule1) OR ((triple14 ((((triple15 triple14) -> rule3)) -> rule2)) -> rule1))] Harry is green.[(triple13 OR ((triple11) -> rule2) OR ((((triple15 triple14) -> rule3)) -> rule2))] Harry is round.[(triple14 OR ((triple12 triple11) -> rule5))] Harry is smart.[(triple15)] @1: Erin is smart.[(((triple4) -> rule4))] Gary is round.[(((triple7 triple5) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((triple6) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple15 triple14) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple14 triple13) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple14 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple14 ((((triple15 triple14) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple15 triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple12 triple11) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7 triple5) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1