Anne is cold. Anne is nice. Anne is smart. Anne is young. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. All smart things are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Harry is rough.
True
1
proof
[(triple13)]
("Harry" "is" "rough" "+")
triple13
Fiona is not young.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "young" "-")
triple9
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8 OR ((triple7) -> rule1))] Fiona is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule1))] Harry is young.[(triple16)] @1: Anne is white.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1