Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Harry is big. Harry is cold. Harry is kind. Harry is rough. Harry is round. All rough, big things are kind. If Erin is cold and Erin is kind then Erin is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
All rough, big things are kind.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If Erin is cold and Erin is kind then Erin is furry.
((("Erin" "is" "cold" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "furry" "+"))
Harry is round.
True
1
proof
[(triple12)]
("Harry" "is" "round" "+")
triple12
Harry is not round.
False
1
inv-proof
[(triple12)]
("Harry" "is" "round" "-")
triple12
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple5 triple1) -> rule1)) -> rule2))] Erin is kind.[(triple4 OR ((triple5 triple1) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10 OR ((triple11 triple8) -> rule1))] Harry is rough.[(triple11)] Harry is round.[(triple12)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple2 triple4) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple2 ((triple5 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple5 triple1) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple11 triple8) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12