Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. Gary is cold. Gary is smart. All furry things are blue. If something is round then it is cold. Smart things are cold. All quiet, cold things are round. All round things are big. If Gary is cold then Gary is big.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
All quiet, cold things are round.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Gary is cold then Gary is big.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple6 OR ((triple10) -> rule5) OR ((((triple9 triple7) -> rule4)) -> rule5))]
("Fiona" "is" "big" "+")
triple6
((triple10) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple9 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is not cold.
False
1
inv-proof
[(triple11 OR ((triple12) -> rule3))]
("Gary" "is" "cold" "-")
triple11
((triple12) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Fiona is blue.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Dave is big.[(triple1 OR ((triple5) -> rule5) OR ((((triple4 triple2) -> rule4)) -> rule5))] Dave is cold.[(triple2 OR ((triple5) -> rule2))] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5 OR ((triple4 triple2) -> rule4))] Fiona is big.[(triple6 OR ((triple10) -> rule5) OR ((((triple9 triple7) -> rule4)) -> rule5))] Fiona is cold.[(triple7 OR ((triple10) -> rule2))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((triple9 triple7) -> rule4))] Gary is cold.[(triple11 OR ((triple12) -> rule3))] Gary is smart.[(triple12)] @1: Dave is blue.[(((triple3) -> rule1))] Fiona is blue.[(((triple8) -> rule1))] Gary is big.[(((triple11) -> rule6) OR ((((triple12) -> rule3)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple5) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple4 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple2
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple4 triple2) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple10) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple9 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple10) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple9 triple7) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple12) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple11) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2