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