Anne is blue. Anne is green. Anne is red. Anne is smart. Bob is blue. Bob is green. Bob is red. Charlie is blue. Charlie is green. Charlie is round. Charlie is smart. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Green things are red. Smart, young things are blue. Smart, round things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Smart, young things are blue.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Smart, round things are young.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Fiona is round.
True
1
proof
[(triple15)]
("Fiona" "is" "round" "+")
triple15
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Charlie is young.
True
3
proof
[(((triple11 triple10) -> rule3))]
("Charlie" "is" "young" "+")
((triple11 triple10) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Charlie" "is" "red" "-")
((triple9) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule1))] Anne is smart.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6)] Bob is red.[(triple7 OR ((triple6) -> rule1))] Charlie is blue.[(triple8 OR ((triple11 ((triple11 triple10) -> rule3)) -> rule2))] Charlie is green.[(triple9)] Charlie is round.[(triple10)] Charlie is smart.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is red.[(triple14 OR ((triple12) -> rule1))] Fiona is round.[(triple15)] @1: Charlie is red.[(((triple9) -> rule1))] Charlie is young.[(((triple11 triple10) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
((triple6) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple11 ((triple11 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple12) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Charlie is red.
("Charlie" "is" "red" "+")
((triple9) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple11 triple10) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1