Dave is big. Erin is not cold. Erin is quiet. Erin is smart. Fiona is quiet. Fiona is round. Fiona is white. Gary is cold. Gary is round. Gary is smart. Round, rough things are quiet. If Gary is smart then Gary is rough.
Dave is big.
("Dave" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Round, rough things are quiet.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Gary is smart then Gary is rough.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "rough" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Gary is rough.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "rough" "-")
((triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
True
4
proof
[(((triple9 ((triple10) -> rule2)) -> rule1))]
("Gary" "is" "quiet" "+")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not quiet.
False
4
inv-proof
[(((triple9 ((triple10) -> rule2)) -> rule1))]
("Gary" "is" "quiet" "-")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Dave is big.[(triple1)] Erin is not cold.[(triple2)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is cold.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Gary is rough.[(((triple10) -> rule2))] @2: Gary is quiet.[(((triple9 ((triple10) -> rule2)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is not cold.
("Erin" "is" "cold" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2