Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is young. Bob is furry. Bob is kind. Bob is not nice. Bob is not red. Fiona is not kind. Fiona is nice. Fiona is red. Gary is furry. Gary is red. Gary is white. Gary is young. Furry people are big.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not red.
("Bob" "is" "red" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Bob is red.
False
1
inv-proof
[(triple9)]
("Bob" "is" "red" "+")
triple9
Gary is big.
True
2
proof
[(((triple13) -> rule1))]
("Gary" "is" "big" "+")
((triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Bob" "is" "big" "-")
((triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is young.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is not nice.[(triple8)] Bob is not red.[(triple9)] Fiona is nice.[(triple11)] Fiona is not kind.[(triple10)] Fiona is red.[(triple12)] Gary is furry.[(triple13)] Gary is red.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is big.[(((triple1) -> rule1))] Bob is big.[(((triple6) -> rule1))] Gary is big.[(((triple13) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is not nice.
("Bob" "is" "nice" "-")
triple8
Bob is not red.
("Bob" "is" "red" "-")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1