Anne is red. Bob is red. Erin is blue. Fiona is blue. Red people are blue. All blue people are kind. If Erin is red and Erin is nice then Erin is big. If someone is cold and red then they are nice. All blue people are round. If Erin is big then Erin is blue.
Anne is red.
("Anne" "is" "red" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Erin is red and Erin is nice then Erin is big.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "big" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Erin is big then Erin is blue.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "blue" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "-")
triple2
Anne is blue.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "nice" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is red.[(triple1)] Bob is red.[(triple2)] Erin is blue.[(triple3)] Fiona is blue.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))] Bob is blue.[(((triple2) -> rule1))] Erin is kind.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule5))] Fiona is kind.[(((triple4) -> rule2))] Fiona is round.[(((triple4) -> rule5))] @2: Anne is kind.[(((((triple1) -> rule1)) -> rule2))] Anne is round.[(((((triple1) -> rule1)) -> rule5))] Bob is kind.[(((((triple2) -> rule1)) -> rule2))] Bob is round.[(((((triple2) -> rule1)) -> rule5))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple4) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2