Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is smart. Bob is white. Charlie is furry. Charlie is red. Charlie is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is white. Harry is furry. Harry is green. Harry is smart. Furry people are red. Red people are nice. All furry, nice people are white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All furry, nice people are white.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple10)]
("Fiona" "is" "furry" "+")
triple10
Harry is not furry.
False
1
inv-proof
[(triple14)]
("Harry" "is" "furry" "-")
triple14
Fiona is red.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "red" "+")
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]
("Bob" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Harry is nice.
True
3
proof
[(((((triple14) -> rule1)) -> rule2))]
("Harry" "is" "nice" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not nice.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule2))]
("Harry" "is" "nice" "-")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
True
5
proof
[(((triple14 ((((triple14) -> rule1)) -> rule2)) -> rule3))]
("Harry" "is" "white" "+")
((triple14 ((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not white.
False
5
inv-proof
[(((triple14 ((((triple14) -> rule1)) -> rule2)) -> rule3))]
("Harry" "is" "white" "-")
((triple14 ((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple1 ((triple4) -> rule2)) -> rule3) OR ((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule3))] Charlie is furry.[(triple7)] Charlie is red.[(triple8 OR ((triple7) -> rule1))] Charlie is smart.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12 OR ((((triple10) -> rule1)) -> rule2))] Fiona is white.[(triple13 OR ((triple10 triple12) -> rule3) OR ((triple10 ((((triple10) -> rule1)) -> rule2)) -> rule3))] Harry is furry.[(triple14)] Harry is green.[(triple15)] Harry is smart.[(triple16)] @1: Bob is nice.[(((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is nice.[(((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Fiona is red.[(((triple10) -> rule1))] Harry is red.[(((triple14) -> rule1))] @2: Charlie is white.[(((triple7 ((triple8) -> rule2)) -> rule3) OR ((triple7 ((((triple7) -> rule1)) -> rule2)) -> rule3))] Harry is nice.[(((((triple14) -> rule1)) -> rule2))] @3: Harry is white.[(((triple14 ((((triple14) -> rule1)) -> rule2)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple1 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
((triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple13
((triple10 triple12) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple10 ((((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Bob is nice.
("Bob" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple14) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7 ((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple7 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((triple14 ((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3