Charlie is round. Dave is green. Fiona is rough. All rough, cold people are furry. If someone is rough then they are cold. Furry, cold people are red.
Charlie is round.
("Charlie" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All rough, cold people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Furry, cold people are red.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Dave is green.
True
1
proof
[(triple2)]
("Dave" "is" "green" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is cold.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Charlie is round.[(triple1)] Dave is green.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule2))] @2: Fiona is furry.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Fiona is red.[(((((triple3 ((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3))]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3