Fiona is green. Fiona is not kind. Fiona is round. Fiona is young. Harry is big. Harry is green. Harry is kind. Harry is not red. Harry is white. Harry is not young. Green things are round. If something is big and not kind then it is not round. If something is kind and not round then it is not young.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is big and not kind then it is not round.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "-"))
If something is kind and not round then it is not young.
((("something" "is" "kind" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "-"))
Harry is green.
True
1
proof
[(triple6)]
("Harry" "is" "green" "+")
triple6
Harry is young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Harry is round.
True
2
proof
[(((triple6) -> rule1))]
("Harry" "is" "round" "+")
((triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Harry" "is" "round" "-")
((triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
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" "+")
@0: Fiona is green.[(triple1)] Fiona is not kind.[(triple2)] Fiona is round.[(triple3 OR ((triple1) -> rule1))] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is not red.[(triple8)] Harry is not young.[(triple10)] Harry is white.[(triple9)] @1: Harry is round.[(((triple6) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not red.
("Harry" "is" "red" "-")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
((triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1