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