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