Anne is red. Bob is blue. Bob is rough. Bob is round. Dave is red. Dave is round. Fiona is big. Fiona is not blue. Fiona is rough. Fiona is round. If something is quiet and not round then it is blue. Quiet things are big. All blue, round things are young.
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is quiet and not round then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All blue, round things are young.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Fiona is blue.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
Bob is young.
True
3
proof
[(((triple2 triple4) -> rule3))]
("Bob" "is" "young" "+")
((triple2 triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple2 triple4) -> rule3))]
("Bob" "is" "young" "-")
((triple2 triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Fiona is big.[(triple7)] Fiona is not blue.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] @1: Bob is young.[(((triple2 triple4) -> rule3))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1