Fiona is cold. Fiona is kind. Harry is big. Harry is kind. Harry is not red. Harry is not smart. Harry is young. Kind things are young. If something is red then it is not smart.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is red then it is not smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "-"))
Harry is big.
True
1
proof
[(triple3)]
("Harry" "is" "big" "+")
triple3
Harry is red.
False
1
inv-proof
[(triple5)]
("Harry" "is" "red" "+")
triple5
Fiona is young.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "young" "+")
((triple2) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "young" "-")
((triple2) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2)] Harry is big.[(triple3)] Harry is kind.[(triple4)] Harry is not red.[(triple5)] Harry is not smart.[(triple6)] Harry is young.[(triple7 OR ((triple4) -> rule1))] @1: Fiona is young.[(((triple2) -> rule1))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is not red.
("Harry" "is" "red" "-")
triple5
Harry is not smart.
("Harry" "is" "smart" "-")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
((triple4) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1