Erin is blue. Erin is furry. Erin is smart. Harry is blue. Harry is furry. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. If someone is smart and young then they are furry. Blue, red people are white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart and young then they are furry.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Blue, red people are white.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple6)]
("Harry" "is" "red" "-")
triple6
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Harry is blue.[(triple4)] Harry is furry.[(triple5 OR ((triple8 triple10) -> rule1))] Harry is red.[(triple6)] Harry is rough.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple4 triple6) -> rule2))] Harry is young.[(triple10)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
((triple8 triple10) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
((triple4 triple6) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10