Fiona is big. Fiona is not kind. Fiona is not red. Fiona is young. Harry is not big. Harry is blue. Harry is nice. Harry is red. Harry is not smart. Harry is young. If something is young then it is nice. If something is kind then it is nice. Nice things are blue. Smart, kind things are blue. If Fiona is kind and Fiona is smart then Fiona is red. If Fiona is blue and Fiona is not red then Fiona is big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Smart, kind things are blue.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If Fiona is kind and Fiona is smart then Fiona is red.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is blue and Fiona is not red then Fiona is big.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "big" "+"))
Harry is not big.
True
1
proof
[(triple5)]
("Harry" "is" "big" "-")
triple5
Fiona is not young.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "young" "-")
triple4
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is big.[(triple1 OR ((((((triple4) -> rule1)) -> rule3) triple3) -> rule6))] Fiona is not kind.[(triple2)] Fiona is not red.[(triple3)] Fiona is young.[(triple4)] Harry is blue.[(triple6 OR ((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Harry is nice.[(triple7 OR ((triple10) -> rule1))] Harry is not big.[(triple5)] Harry is not smart.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple10)] @1: Fiona is nice.[(((triple4) -> rule1))] @2: Fiona is blue.[(((((triple4) -> rule1)) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple2
Fiona is not red.
("Fiona" "is" "red" "-")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple6
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple7
((triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is not smart.
("Harry" "is" "smart" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2