Anne is big. Anne is nice. Charlie is red. Charlie is young. Dave is quiet. Fiona is cold. Fiona is young. If something is big then it is red. If something is quiet then it is young. All cold, nice things are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All cold, nice things are young.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Dave is not quiet.
False
1
inv-proof
[(triple5)]
("Dave" "is" "quiet" "-")
triple5
Dave is young.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "young" "+")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "young" "-")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Dave is quiet.[(triple5)] Fiona is cold.[(triple6)] Fiona is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule1))] Dave is young.[(((triple5) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1