Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is young. Erin is big. Erin is furry. Erin is kind. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is kind. Harry is red. Harry is young. If someone is furry and kind then they are red. All furry people are rough.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is furry and kind then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple12)]
("Gary" "is" "round" "+")
triple12
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Bob is red.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Bob" "is" "red" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Erin" "is" "red" "-")
((triple7 triple8) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3 OR ((triple1) -> rule2))] Bob is round.[(triple4)] Bob is young.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((triple9 triple10) -> rule1))] Gary is round.[(triple12)] Gary is young.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Bob is red.[(((triple1 triple2) -> rule1))] Erin is red.[(((triple7 triple8) -> rule1))] Erin is rough.[(((triple7) -> rule2))] Gary is rough.[(((triple9) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple9 triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple7 triple8) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1