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