Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is young. Fiona is big. Fiona is nice. Fiona is young. Gary is big. Gary is cold. Gary is kind. Gary is red. Gary is round. Gary is young. If Gary is cold then Gary is young. Young, big things are red. All big things are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is cold then Gary is young.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "young" "+"))
Young, big things are red.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Gary is not cold.
False
1
inv-proof
[(triple12)]
("Gary" "is" "cold" "-")
triple12
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple7 triple1) -> rule2))] Bob is round.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13 OR ((triple11) -> rule3))] Gary is red.[(triple14 OR ((triple16 triple11) -> rule2) OR ((((triple12) -> rule1) triple11) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple12) -> rule1))] @1: Fiona is kind.[(((triple8) -> rule3))] Fiona is red.[(((triple10 triple8) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple7 triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
((triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple16 triple11) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple12) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple10 triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1