Charlie is red. Dave is big. Dave is not cold. Dave is quiet. Fiona is not big. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is not smart. All red people are round.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Dave is not quiet.
False
1
inv-proof
[(triple4)]
("Dave" "is" "quiet" "-")
triple4
Charlie is round.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "round" "-")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is red.[(triple1)] Dave is big.[(triple2)] Dave is not cold.[(triple3)] Dave is quiet.[(triple4)] Fiona is not big.[(triple5)] Fiona is not furry.[(triple6)] Fiona is not smart.[(triple10)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple8) -> rule1))] @1: Charlie is round.[(((triple1) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is not cold.
("Dave" "is" "cold" "-")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple5
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1