Anne is blue. Anne is smart. Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Fiona is nice. Harry is green. Harry is nice. Smart things are nice. Nice things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "rough" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "rough" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Bob is blue.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple7) -> rule1))] Bob is rough.[(triple6 OR ((triple5) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Bob is smart.[(triple7)] Fiona is nice.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] @1: Anne is nice.[(((triple2) -> rule1))] Fiona is rough.[(((triple8) -> rule2))] Harry is rough.[(((triple10) -> rule2))] @2: Anne is rough.[(((((triple2) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple7) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple6
((triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2