Charlie is big. Erin is big. Fiona is blue. Harry is furry. Furry, blue things are red. All furry things are big. Young things are big. If something is furry then it is blue. Red, big things are green. If Fiona is green and Fiona is quiet then Fiona is red.
Charlie is big.
("Charlie" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Furry, blue things are red.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Red, big things are green.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Fiona is green and Fiona is quiet then Fiona is red.
((("Fiona" "is" "green" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple3)]
("Fiona" "is" "blue" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "-")
triple4
Harry is big.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "big" "+")
((triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple4) -> rule4))]
("Harry" "is" "blue" "-")
((triple4) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
True
4
proof
[(((triple4 ((triple4) -> rule4)) -> rule1))]
("Harry" "is" "red" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not red.
False
4
inv-proof
[(((triple4 ((triple4) -> rule4)) -> rule1))]
("Harry" "is" "red" "-")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "green" "+")
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Charlie is big.[(triple1)] Erin is big.[(triple2)] Fiona is blue.[(triple3)] Harry is furry.[(triple4)] @1: Harry is big.[(((triple4) -> rule2))] Harry is blue.[(((triple4) -> rule4))] @2: Harry is red.[(((triple4 ((triple4) -> rule4)) -> rule1))] @3: Harry is green.[(((((triple4 ((triple4) -> rule4)) -> rule1) ((triple4) -> rule2)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
((triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple4 ((triple4) -> (rule4 % int4))) -> (rule1 % int3)) ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4