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