Anne is young. Erin is blue. Erin is smart. Erin is white. Erin is young. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is round. Gary is smart. Gary is white. Smart, white things are red. If something is smart and red then it is blue. All furry things are smart.
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart, white things are red.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is smart and red then it is blue.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Gary is furry.
True
1
proof
[(triple13)]
("Gary" "is" "furry" "+")
triple13
Gary is not furry.
False
1
inv-proof
[(triple13)]
("Gary" "is" "furry" "-")
triple13
Anne is not blue.
Unknown
inv-rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is young.[(triple1)] Erin is blue.[(triple2 OR ((triple3 ((triple3 triple4) -> rule1)) -> rule2))] Erin is smart.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule3) triple8) -> rule2) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple10) -> rule1)) -> rule2))] Fiona is furry.[(triple7)] Fiona is red.[(triple8 OR ((((triple7) -> rule3) triple10) -> rule1))] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is blue.[(triple12 OR ((triple15 ((triple15 triple16) -> rule1)) -> rule2) OR ((((triple13) -> rule3) ((triple15 triple16) -> rule1)) -> rule2) OR ((triple15 ((((triple13) -> rule3) triple16) -> rule1)) -> rule2) OR ((((triple13) -> rule3) ((((triple13) -> rule3) triple16) -> rule1)) -> rule2))] Gary is furry.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple13) -> rule3))] Gary is white.[(triple16)] @1: Erin is red.[(((triple3 triple4) -> rule1))] Fiona is smart.[(((triple7) -> rule3))] Gary is red.[(((triple15 triple16) -> rule1) OR ((((triple13) -> rule3) triple16) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((((triple7) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((((triple7) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple15 ((triple15 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple15 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple15 ((((triple13) -> (rule3 % int3)) triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3)) triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple13) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple16
Erin is red.
("Erin" "is" "red" "+")
((triple3 triple4) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple15 triple16) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple13) -> (rule3 % int2)) triple16) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2