Charlie is blue. Charlie is furry. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is young. Dave is cold. Dave is not furry. Dave is nice. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is young. If something is green then it is not nice. If Dave is blue and Dave is green then Dave is young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is green then it is not nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "-"))
If Dave is blue and Dave is green then Dave is young.
((("Dave" "is" "blue" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "young" "+"))
Fiona is young.
True
1
proof
[(triple15)]
("Fiona" "is" "young" "+")
triple15
Dave is not cold.
False
1
inv-proof
[(triple7)]
("Dave" "is" "cold" "-")
triple7
Fiona is not nice.
True
2
proof
[(((triple13) -> rule1))]
("Fiona" "is" "nice" "-")
((triple13) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is nice.
False
2
inv-proof
[(((triple13) -> rule1))]
("Fiona" "is" "nice" "+")
((triple13) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple4)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple5)] Charlie is young.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple9)] Dave is not furry.[(triple8)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is quiet.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is not nice.[(((triple13) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not green.
("Charlie" "is" "green" "-")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is not furry.
("Dave" "is" "furry" "-")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple13) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1