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