Fiona is kind. Fiona is young. Harry is green. If someone is green then they are kind. Nice people are furry. Kind, green people are blue. If Fiona is blue then Fiona is young. If someone is blue then they are furry. If someone is kind and young then they are furry. If someone is nice and green then they are kind. If someone is kind then they are green.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Kind, green people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is blue then Fiona is young.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and young then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and green then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "kind" "-")
triple1
Fiona is furry.
True
3
proof
[(((triple1 triple2) -> rule6) OR ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule5) OR ((triple1 ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4)) -> rule6))]
("Fiona" "is" "furry" "+")
((triple1 triple2) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple1 ((((triple1 ((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Harry is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("Harry" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is blue.
True
4
proof
[(((triple1 ((triple1) -> rule8)) -> rule3))]
("Fiona" "is" "blue" "+")
((triple1 ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule3))]
("Harry" "is" "blue" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is kind.[(triple1)] Fiona is young.[(triple2 OR ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))] Harry is green.[(triple3)] @1: Fiona is furry.[(((triple1 triple2) -> rule6) OR ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule5) OR ((triple1 ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4)) -> rule6))] Fiona is green.[(((triple1) -> rule8))] Harry is kind.[(((triple3) -> rule1))] @2: Fiona is blue.[(((triple1 ((triple1) -> rule8)) -> rule3))] Harry is blue.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Harry is furry.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule5))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1 triple2) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple1 ((((triple1 ((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1 ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3