Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Fiona is cold. Fiona is nice. Fiona is red. Fiona is round. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is round. All green people are blue. All red, round people are green. Blue, kind people are nice.
Bob is blue.
("Bob" "is" "blue" "+")
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" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All red, round people are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Blue, kind people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Fiona is nice.
True
1
proof
[(triple9)]
("Fiona" "is" "nice" "+")
triple9
Bob is not green.
False
1
inv-proof
[(triple3 OR ((triple6 triple7) -> rule2))]
("Bob" "is" "green" "-")
triple3
((triple6 triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is green.
True
3
proof
[(((triple10 triple11) -> rule2))]
("Fiona" "is" "green" "+")
((triple10 triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple10 triple11) -> rule2))]
("Fiona" "is" "green" "-")
((triple10 triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
True
4
proof
[(((((triple10 triple11) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "+")
((((triple10 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((((triple10 triple11) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "-")
((((triple10 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple6 triple7) -> rule2)) -> rule1))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple7) -> rule2))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple1 triple4) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3) OR ((((((triple6 triple7) -> rule2)) -> rule1) triple4) -> rule3))] Bob is red.[(triple6)] Bob is round.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Harry is blue.[(triple12 OR ((triple14) -> rule1))] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is round.[(triple16)] @1: Fiona is green.[(((triple10 triple11) -> rule2))] @2: Fiona is blue.[(((((triple10 triple11) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6 triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple1 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Fiona is green.
("Fiona" "is" "green" "+")
((triple10 triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple10 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2