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