Anne is big. Bob is blue. Bob is rough. Bob is not smart. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is smart. Fiona is young. Harry is big. If something is big then it is smart.
Anne is big.
("Anne" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Fiona is not young.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "young" "-")
triple9
Harry is smart.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "smart" "-")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is big.[(triple1)] Bob is blue.[(triple2)] Bob is not smart.[(triple4)] Bob is rough.[(triple3)] Fiona is big.[(triple5)] Fiona is furry.[(triple7)] Fiona is not blue.[(triple6)] Fiona is smart.[(triple8 OR ((triple5) -> rule1))] Fiona is young.[(triple9)] Harry is big.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is smart.[(((triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1