Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Erin is cold. Erin is rough. Fiona is cold. Fiona is rough. Fiona is round. If someone is cold and rough then they are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is cold and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Anne is quiet.
True
1
proof
[(triple4)]
("Anne" "is" "quiet" "+")
triple4
Erin is not rough.
False
1
inv-proof
[(triple12)]
("Erin" "is" "rough" "-")
triple12
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple1 triple5) -> rule1))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Bob is round.[(triple10)] Erin is cold.[(triple11)] Erin is rough.[(triple12)] Fiona is cold.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] @1: Erin is nice.[(((triple11 triple12) -> rule1))] Fiona is nice.[(((triple13 triple14) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple1 triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Erin is nice.
("Erin" "is" "nice" "+")
((triple11 triple12) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple13 triple14) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1