Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is red. Charlie is green. Charlie is red. Fiona is kind. Fiona is nice. Harry is cold. Harry is green. Harry is red. All quiet, green people are smart. Kind people are smart. If someone is red then they are kind. If Fiona is green then Fiona is kind. All kind people are nice. Kind people are red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
All quiet, green people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is green then Fiona is kind.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "kind" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Charlie is not green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "-")
triple6
Fiona is smart.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple3) -> rule2) OR ((((triple5) -> rule3)) -> rule2))]
("Bob" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is smart.
True
3
proof
[(((((triple7) -> rule3)) -> rule2))]
("Charlie" "is" "smart" "+")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Harry is not smart.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule2))]
("Harry" "is" "smart" "-")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule3))] Bob is nice.[(triple4 OR ((triple3) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] Bob is red.[(triple5 OR ((triple3) -> rule6))] Charlie is green.[(triple6)] Charlie is red.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple8) -> rule5))] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] @1: Bob is smart.[(((triple3) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Charlie is kind.[(((triple7) -> rule3))] Fiona is red.[(((triple8) -> rule6))] Fiona is smart.[(((triple8) -> rule2))] Harry is kind.[(((triple12) -> rule3))] @2: Charlie is nice.[(((((triple7) -> rule3)) -> rule5))] Charlie is smart.[(((((triple7) -> rule3)) -> rule2))] Harry is nice.[(((((triple12) -> rule3)) -> rule5))] Harry is smart.[(((((triple12) -> rule3)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple3) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple8) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Bob is smart.
("Bob" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple12) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2