Dave is big. Erin is rough. Erin is smart. Gary is cold. Gary is red. Gary is rough. Harry is furry. Harry is nice. Harry is red. Harry is rough. All smart things are furry.
Dave is big.
("Dave" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple5)]
("Gary" "is" "red" "-")
triple5
Erin is furry.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Dave is big.[(triple1)] Erin is rough.[(triple2)] Erin is smart.[(triple3)] Gary is cold.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Harry is furry.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Erin is furry.[(((triple3) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1