Bob is big. Bob is kind. Bob is rough. Fiona is big. Fiona is kind. Fiona is smart. Gary is furry. Gary is young. Harry is big. Harry is furry. All young, green things are furry. All rough, kind things are green. If something is big and furry then it is young. All rough, young things are kind. If Gary is green and Gary is smart then Gary is big. If something is big and green then it is young.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All young, green things are furry.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All rough, kind things are green.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is big and furry then it is young.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All rough, young things are kind.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Gary is green and Gary is smart then Gary is big.
((("Gary" "is" "green" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "big" "+"))
If something is big and green then it is young.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Gary is furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "-")
triple7
Harry is young.
True
3
proof
[(((triple9 triple10) -> rule3))]
("Harry" "is" "young" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple9 triple10) -> rule3))]
("Harry" "is" "young" "-")
((triple9 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is young.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule2)) -> rule6))]
("Bob" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not young.
False
5
inv-proof
[(((triple1 ((triple3 triple2) -> rule2)) -> rule6))]
("Bob" "is" "young" "-")
((triple1 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
True
9
proof
[(((((triple1 ((triple3 triple2) -> rule2)) -> rule6) ((triple3 triple2) -> rule2)) -> rule1))]
("Bob" "is" "furry" "+")
((((triple1 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not furry.
False
9
inv-proof
[(((((triple1 ((triple3 triple2) -> rule2)) -> rule6) ((triple3 triple2) -> rule2)) -> rule1))]
("Bob" "is" "furry" "-")
((((triple1 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is young.
Unknown
rconc
[@3: Fiona is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Gary is furry.[(triple7)] Gary is young.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] @1: Bob is green.[(((triple3 triple2) -> rule2))] Harry is young.[(((triple9 triple10) -> rule3))] @2: Bob is young.[(((triple1 ((triple3 triple2) -> rule2)) -> rule6))] @3: Bob is furry.[(((((triple1 ((triple3 triple2) -> rule2)) -> rule6) ((triple3 triple2) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3