Erin is blue. Erin is cold. Erin is furry. Erin is not round. Erin is smart. Erin is young. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is round. Fiona is young. Gary is blue. Gary is cold. Gary is not furry. Gary is smart. Gary is white. If Erin is white then Erin is blue. If someone is blue and not cold then they are round. All furry people are smart. Young people are smart. If someone is young and not blue then they are smart. If someone is cold and not round then they are furry.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
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 not furry.
("Gary" "is" "furry" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Erin is white then Erin is blue.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "blue" "+"))
If someone is blue and not cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "round" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is young and not blue then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "smart" "+"))
If someone is cold and not round then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple16)]
("Gary" "is" "white" "+")
triple16
Erin is round.
False
1
inv-proof
[(triple4)]
("Erin" "is" "round" "+")
triple4
Fiona is smart.
True
2
proof
[(((triple11) -> rule4) OR ((triple9) -> rule3))]
("Fiona" "is" "smart" "+")
((triple11) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple11) -> rule4) OR ((triple9) -> rule3))]
("Fiona" "is" "smart" "-")
((triple11) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2 triple4) -> rule6))] Erin is not round.[(triple4)] Erin is smart.[(triple5 OR ((triple3) -> rule3) OR ((triple6) -> rule4) OR ((((triple2 triple4) -> rule6)) -> rule3))] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple9)] Fiona is not cold.[(triple8)] Fiona is round.[(triple10 OR ((triple7 triple8) -> rule2))] Fiona is young.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is not furry.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Fiona is smart.[(((triple11) -> rule4) OR ((triple9) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple2 triple4) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not round.
("Erin" "is" "round" "-")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
((triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple6) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple7 triple8) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is not furry.
("Gary" "is" "furry" "-")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1