Charlie is cold. Charlie is not rough. Charlie is white. Dave is not green. Dave is red. Dave is rough. Dave is round. Fiona is furry. Fiona is green. Fiona is red. Gary is cold. Gary is furry. Gary is red. Gary is not round. Gary is white. If someone is round then they are furry. If someone is round and not furry then they are white. Furry, rough people are white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is white.
("Gary" "is" "white" "+")
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is round and not furry then they are white.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
Furry, rough people are white.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Gary is furry.
True
1
proof
[(triple12)]
("Gary" "is" "furry" "+")
triple12
Gary is not furry.
False
1
inv-proof
[(triple12)]
("Gary" "is" "furry" "-")
triple12
Dave is furry.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
True
4
proof
[(((((triple7) -> rule1) triple6) -> rule3))]
("Dave" "is" "white" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not white.
False
4
inv-proof
[(((((triple7) -> rule1) triple6) -> rule3))]
("Dave" "is" "white" "-")
((((triple7) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is cold.[(triple1)] Charlie is not rough.[(triple2)] Charlie is white.[(triple3)] Dave is not green.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is red.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is not round.[(triple14)] Gary is red.[(triple13)] Gary is white.[(triple15)] @1: Dave is furry.[(((triple7) -> rule1))] @2: Dave is white.[(((((triple7) -> rule1) triple6) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is not round.
("Gary" "is" "round" "-")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple15
Dave is furry.
("Dave" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2