Anne is big. Erin is red. Fiona is green. Harry is furry. All green, white people are kind. If someone is big and white then they are kind. If someone is smart and red then they are kind. Green people are red. If someone is kind then they are big. All green people are white. If Anne is white then Anne is smart. All furry people are smart.
Anne is big.
("Anne" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All green, white people are kind.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and white then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and red then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Anne is white then Anne is smart.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "smart" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Fiona is green.
True
1
proof
[(triple3)]
("Fiona" "is" "green" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "-")
triple4
Fiona is white.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "white" "+")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple3) -> rule4))]
("Fiona" "is" "red" "-")
((triple3) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
True
4
proof
[(((triple3 ((triple3) -> rule6)) -> rule1))]
("Fiona" "is" "kind" "+")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((triple3 ((triple3) -> rule6)) -> rule1))]
("Fiona" "is" "kind" "-")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
True
5
proof
[(((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5))]
("Fiona" "is" "big" "+")
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not big.
False
5
inv-proof
[(((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5))]
("Fiona" "is" "big" "-")
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is kind.
Unknown
rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Anne" "is" "kind" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "white" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "red" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is big.[(triple1)] Erin is red.[(triple2)] Fiona is green.[(triple3)] Harry is furry.[(triple4)] @1: Fiona is red.[(((triple3) -> rule4))] Fiona is white.[(((triple3) -> rule6))] Harry is smart.[(((triple4) -> rule8))] @2: Fiona is kind.[(((triple3 ((triple3) -> rule6)) -> rule1))] @3: Fiona is big.[(((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple4) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3