Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is round. Erin is big. Fiona is green. Fiona is quiet. Fiona is round. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is round. If Fiona is green then Fiona is quiet. If Fiona is green then Fiona is quiet. Big people are kind. Quiet, green people are big. If someone is green and not cold then they are not big. If Dave is not big and Dave is not quiet then Dave is kind. All kind people are round. Quiet, blue people are round.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If Fiona is green then Fiona is quiet.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is green then Fiona is quiet.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Quiet, green people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and not cold then they are not big.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "big" "-"))
If Dave is not big and Dave is not quiet then Dave is kind.
((("Dave" "is" "big" "~") ("Dave" "is" "quiet" "~")) -> ("Dave" "is" "kind" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Quiet, blue people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Erin is big.
True
1
proof
[(triple6)]
("Erin" "is" "big" "+")
triple6
Fiona is not quiet.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule1) OR ((triple7) -> rule2))]
("Fiona" "is" "quiet" "-")
triple8
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is kind.
True
2
proof
[(((triple6) -> rule3))]
("Erin" "is" "kind" "+")
((triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple6) -> rule3))]
("Erin" "is" "kind" "-")
((triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
True
3
proof
[(((((triple6) -> rule3)) -> rule7))]
("Erin" "is" "round" "+")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not round.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule7))]
("Erin" "is" "round" "-")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple1) -> rule3))] Dave is round.[(triple5 OR ((triple4) -> rule7) OR ((((triple1) -> rule3)) -> rule7))] Erin is big.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Fiona is round.[(triple9 OR ((((((triple8 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule2) triple7) -> rule4)) -> rule3)) -> rule7))] Gary is big.[(triple10 OR ((triple15 triple13) -> rule4))] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14 OR ((triple10) -> rule3) OR ((((triple15 triple13) -> rule4)) -> rule3))] Gary is quiet.[(triple15)] Gary is round.[(triple16 OR ((triple14) -> rule7) OR ((triple15 triple11) -> rule8) OR ((((triple10) -> rule3)) -> rule7) OR ((((((triple15 triple13) -> rule4)) -> rule3)) -> rule7))] @1: Erin is kind.[(((triple6) -> rule3))] Fiona is big.[(((triple8 triple7) -> rule4) OR ((((triple7) -> rule1) triple7) -> rule4) OR ((((triple7) -> rule2) triple7) -> rule4))] @2: Erin is round.[(((((triple6) -> rule3)) -> rule7))] Fiona is kind.[(((((triple8 triple7) -> rule4)) -> rule3) OR ((((((triple7) -> rule1) triple7) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) triple7) -> rule4)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple4) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((((((triple8 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((((triple7) -> (rule2 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple15 triple13) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
((triple10) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple15 triple13) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
((triple14) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple15 triple11) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple15 triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 triple7) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple7) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple8 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple7) -> (rule2 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3